A Survey: Applying Formal Methods to a Software Intensive System
نویسندگان
چکیده
This paper surveys various formal approaches that could be used to facilitate the development of the train control system described in BART case study. This system is interesting because train control must take into account complex behaviors, positional uncertainties, noise, continuous aspects, and a prede ned computational architecture. The approaches discussed are works in progress and are not complete at the time of the writing of this paper.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملIntegrating formal methods into traditional practices for software development: an overview
This paper shows an overview of a research project for integrating formal methods in popular practices for software development in México. The article shows only the main results from the survey about methods and practices and an overview of the initial proposal of practices applying lightweight formal methods to requirements specification and software modelling. Keywords— requirements specific...
متن کاملOutcomes of applying a geopedologic approach to soil survey in Iran
The paper reviews a set of soil surveys carried out in Iran using a geopedologic approach for different surveying aims in different scales. Most of these studies have implemented a similar survey method including the following steps: delineation of landforms from air photos using geomorphic and soil-landscape relationships, field check of the delineations, sample areas inventory with soils clas...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملارتقای عملکرد سازمانی از طریق فراموشی سازمانی هدفمند:مطالعه موردی
Introduction : Recently, companies have acknowledged organizational forgetting as a tool for optimizing organizational performance. The purpose of this research was to investigate the relationships among intentional organizational forgetting, organizational learning, knowledge management capability and organizational performance. Methods : In this survey, data collection was done by means o...
متن کامل